critical semantic error核心语义差错
semantic error handing语意错误处置;语义错误处理
semantic error checking语意错误检查;语义错误检验;语义错误检验英语
Live Semantic Error实时语义误差
DataFormatError role semantic error角色语法错误
semantic error source detail语义错误源
semantic error source语意错误源;翻译
semantic error handling语义错误处理
So both program and its specification are on uniform framework, which can reduce the possibility of semantic error. With the support of BToolkit, this formalized B-method improves software reliability and Automation efficiency greatly.
B方法建立在Zermelo-Frankel集合理论的基础上,使用符号表示法(广义代换)来表达状态的转换,使程序及其规格说明处于统一的数学框架之下,这样可以大幅度减少出现语义错误的可能性,借助于B工具的支持,可以极大提高软件可靠性和软件开发的自动化程度。
参考来源 - B语言与方法在算法形式化中的应用研究